Science of Logic

Results: 5317



#Item
61

Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes Paul Tarau Department of Computer Science and Engineering University of North Texas Research supported in part by NSF grant

Add to Reading List

Source URL: logic.cse.unt.edu

- Date: 2010-09-25 09:01:59
    62

    Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

    Add to Reading List

    Source URL: i12www.iti.kit.edu

    - Date: 2009-01-05 04:34:04
      63

      STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

      Add to Reading List

      Source URL: mizar.org

      - Date: 2010-03-05 21:10:35
        64

        Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1 Department of Computer Science and Engineering

        Add to Reading List

        Source URL: logic.cse.unt.edu

        - Date: 2013-08-29 06:54:12
          65

          A Program Transformation for Tracing Functional Logic Computations? Bernd Brassel, Sebastian Fischer, and Frank Huch Institute of Computer Science University of Kiel, 24098 Kiel, Germany {bbr,sebf,fhu}@informatik.uni-kie

          Add to Reading List

          Source URL: www-ps.informatik.uni-kiel.de

          - Date: 2014-06-15 10:44:21
            66

            On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

            Add to Reading List

            Source URL: www-ps.informatik.uni-kiel.de

            - Date: 2014-06-15 10:42:57
              67

              Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada

              Add to Reading List

              Source URL: www.cs.unb.ca

              - Date: 2013-05-12 19:46:42
                68

                Aachen Department of Computer Science Technical Report Automated Termination Analysis for Logic Programs with Cut

                Add to Reading List

                Source URL: sunsite.informatik.rwth-aachen.de

                - Date: 2010-05-14 08:40:08
                  UPDATE